Previous | 
Home
Section: Partnerships and Cooperations
National Initiatives
IBEX
Participants : Ignacio Araya, Clément Carbonnel, Gilles Chabert, Benoit Desrochers, Luc Jaulin, Bertrand Neveu, Jordan Ninin, Gilles Trombettoni.
-
Title: Development of IBEX .
-
Others partners: ENSTA Bretagne , ENPC PariTech , Lirmm , LAAS , University Federico Santa Maria, Chile .
Development of IBEX (see Section 6.3).
SUSTAIN
Participants : Charlotte Truchet, Bruno Belin.
The SUSTAINS project (Constraint-based Prototyping of Urban Environments) aims at building decision support system for city development planning with evaluation of energy impacts. The project is focused on spatial allocation of typical units such as industrial areas, commercial areas and leaving areas with their respective appropriate infrastructure. Its integrates sustainability, transport and energy concerns.
ANR NetWMS2
Participants : Gilles Chabert, Ignacio Salas Donoso, Nicolas Beldiceanu.
-
Title: Networked Warehouse Management Systems 2: packing with complex shapes.
-
Others partners: KLS Optim and CONTRAINTES (Inria Rocquencourt).
This project builds on the former European FP6 Net-WMS Strep project that has shown that constraint-based optimisation techniques can considerably improve industrial practice for box packing problems, while identifying hard instances that cannot be solved optimally, especially in industrial 3D packing problems with rotations, the needs for dealing with more complex shapes (e.g. wheels, silencers) involving continuous values. This project aims at generalizing the geometric kernel geost for handling non-overlapping constraints for complex two and three dimensional curved shapes as well as domain specific heuristics. This will be done within the continuous solver IBEX , where discrete variables will be added for handling polymorphism (i.e., the fact that an object can take one shape out of a finite set of given shapes). In 2013 a filtering algorithm has been devised in the case of objects described by nonlinear inequalities and is now under testing with the Ibex library. This work has been presented in a workshop on interval methods & geometry in ENSTA Bretagne .
ANR INFRA-JVM
Participants : Xavier Lorca, Charles Prud'Homme.
-
Title: Towards a Java Virtual Machine for pervasive computing.
-
Others partners: Univ. Paris 6 (REGAL team), LaBRI (LSR team), IRISA (TRISKELL ).
The INFRA-JVM project investigates how to enhance the design of Java virtual machines with new functionalities to better manage resources, namely resource reservation, scheduling policies, and resource optimization at the middleware level. TASC is concerned with this later aspect. The performance of CHOCO will be improved using the memory snapshot mechanism that will be developed.